Buy Used and New Iman Hafiz Poernomo Books

Results for Iman Hafiz Poernomo

Showing 1 to 1 of 1 results
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science) Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science) by Iman Hafiz Poernomo,John N. Crossley,Martin Wirsing

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

by Iman Hafiz Poernomo,John N. Crossley,Martin Wirsing


ISBN 13: 9781441920140

Format: Paperback (432 pages)
Publisher: Springer
Published: 19 Nov 2010

Save for later

 
New : $152.05  
New : $152.05